Issue3972.agda:24,3-25
Unreachable clause
when checking the definition of cs

———— All done; warnings encountered ————————————————————————

Issue3972.agda:24,3-25
Unreachable clause
when checking the definition of cs
